A Framework for Dynamic Checks in C Arrays via a C++ Class

The ability to de ne overloaded operators and generic templated classes in C++, provides a mechanism for the de nition of array classes. We present an array class hierarchy that can be substituted for builtin arrays in a given C program, with minimal changes to the actual code and no change in the run-time semantics of the program. This augments our previous work that developed a class hierarchy for C pointers. The array class hierarchy provides a framework for customising the semantics of array operations and enables, for example, full bounds checking to be performed. By translating the original source code declarations to use the array class, so-called safe arrays can be provided.